Transformation and Analysis of Haskell Source Code λ ⊥

Source URL: community.haskell.org

• Higher-order functions
• Programming language comparisons
• Data types
• Functional programming
• Generalized algebraic data type
• Type theory
• Map
• Haskell
• Fold
• Yhc
• Hugs
• Conditional

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: cliplab.org

• International Conference on Logic Programming
• Symposium on Principles of Programming Languages
• ICLP
• Association for Computing Machinery
• Logic programming
• Logic
• Prolog

JMLR: Workshop and Conference Proceedings vol 40:1–28, 2015 Fast Exact Matrix Completion with Finite Samples Prateek Jain PRAJAIN @ MICROSOFT. COM

Source URL: jmlr.org

• Matrix theory
• Numerical linear algebra
• Functional analysis
• Matrix completion
• Operator theory
• NC
• Low-rank approximation
• Singular value decomposition
• Matrix
• Differential forms on a Riemann surface
• Spectral theory of ordinary differential equations

183 Documenta Math. Multipliers of Improper Similitudes R. Preeti1 and J.-P. Tignol2

Source URL: documenta.sagemath.org

• Representation theory
• Lie algebras
• Lie groups
• Spectral theory
• Functional analysis
• Generalised Whitehead product
• Sigma-algebra

INDEPENDENT COMPONENT ANALYSIS APPLIED TO FMRI DATA: A NATURAL MODEL AND ORDER SELECTION V. Calhoun1,2, T. Adali2, G. Pearlson1 1 Johns Hopkins University Div. of Psychiatric Neuro-Imaging, 600 N. Wolfe St., Baltimore, M

Source URL: mialab.mrn.org

• Magnetic resonance imaging
• Multivariate statistics
• Neuroimaging
• Signal processing
• Cognitive neuroscience
• Functional magnetic resonance imaging
• Independent component analysis
• Principal component analysis
• Event-related functional magnetic resonance imaging
• K-means clustering
• Functional integration
• Resting state fMRI

Whey Protein Concentrate 34% HF Product Description WPC 34% HF is a unique mixture of highly functional whey proteins that are obtained from fresh whey by a process specifically designed by Davisco. Analysis* Moisture (%

Source URL: www.daviscofoods.com

• AOAC International
• Analytical chemistry
• Nutrition
• Food safety
• Protein
• Shelf life

Partial Least-Squares Functional Mode Analysis: Application to the Membrane Proteins AQP1, Aqy1, and CLC-ec1

Source URL: www3.mpibpc.mpg.de

Emma in Action: Declarative Dataflows for Scalable Data Analysis Alexander Alexandrov Andreas Salzmann Georgi Krastev Asterios Katsifodimos

Source URL: stratosphere.eu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Concurrent programming languages
• Functional languages
• Apache Software Foundation
• Cluster computing
• Apache Spark
• Apache Flink
• Scala
• Monad

Proper Partial Geometries with Singer Groups and Pseudogeometric Partial Difference Sets Ka Hin Leung Department of Mathematics National University of Singapore 2 Science Drive 2, Singapore

Source URL: www.ntu.edu.sg

• Mathematical analysis
• Mathematics
• Fiber bundles
• Representation theory of Lie groups
• Functional analysis
• Connection
• Harmonic analysis
• Differential forms on a Riemann surface
• Plancherel theorem for spherical functions

Geom. Funct. Anal. Vol–919 DOIs00039Published online July 22, 2011 © 2011 Springer Basel AG GAFA Geometric And Functional Analysis

Source URL: www.math.brown.edu